Temporal Database Models Validation and Verification using Mapping Methodology
نویسندگان
چکیده
منابع مشابه
a note on models' verification, validation and calibration
mathematical models have the potential to provide a cost-effective, objective, and flexible approach to assessing management decisions, particularly when these decisions are strategic alternatives. in some instances, mathematical model is the only means available for evaluating and testing alternatives. however, in order for this potential to be realized, models must be valid for the applicati...
متن کاملInternal dosimetry verification and validation database.
Simulated-data internal dosimetry cases for use in intercomparison exercises or as a software verification and validation tool have been published on the internet (www.lanl.gov/bayesian/software Bayesian software package II). A user may validate their internal dosimetry code or method using this simulated bioassay data. Or, the user may choose to try out the Los Alamos National Laboratory codes...
متن کاملVerification and Validation of Temporal Business Rules
In this paper the development of an analysis tool for verification and validation of temporal business rules is described. The formalism for expressing the business rules is the Conceptual Rule Language developed as part for the ESPRIT II project TEMPORA.
متن کاملVerification Methodology for DEVS Models
Modeling is an effective tool for studying the behaviour of a system. When modeling, the system’s descriptions are usually abstracted into simpler models. These models can then be analyzed and solved (manually or automatically) by using different mathematical techniques. However, sometimes the models become too complex to analyze formally. In those cases, computer Modeling and Simulation (M&S) ...
متن کاملDust source mapping using satellite imagery and machine learning models
Predicting dust sources area and determining the affecting factors is necessary in order to prioritize management and practice deal with desertification due to wind erosion in arid areas. Therefore, this study aimed to evaluate the application of three machine learning models (including generalized linear model, artificial neural network, random forest) to predict the vulnerability of dust cent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: VFAST Transactions on Software Engineering
سال: 2016
ISSN: 2309-3978,2411-6246
DOI: 10.21015/vtse.v11i2.445